CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Ml for the Working Programmer
Ml for the Working Programmer by Paulson, L. C. ISBN: 9780521565431 List Price: $74.00
$11.82 (Save 84%)
2.
Isabelle/Hol A Proof Assistant for Higher-Order Logic
Isabelle/Hol A Proof Assistant for Higher-Order Logic by Nipkow, Tobias, Paulson, L.... ISBN: 9783540433767 List Price: $69.95
$56.95 (Save 18%)
3.
Isabelle
Isabelle by Paulson, L. C. ISBN: 9783540582441 List Price: $71.95
$52.33 (Save 27%)
4.
Ml for the Working Programmer
Ml for the Working Programmer by Paulson, L. C. ISBN: 9780521390224 List Price: $64.95

OUT OF STOCK

See Availability on Amazon
5.
Ml for the Working Programmer
Ml for the Working Programmer by Paulson, L. C. ISBN: 9780521422253 List Price: $29.95
$2.69 (Save 91%)
6.
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF by Paulson, L. C. ISBN: 9780521346320 List Price: $104.99

OUT OF STOCK

See Availability on Amazon
7.
Logic and Computation Interactive Proof With Cambridge Lcf
Logic and Computation Interactive Proof With Cambridge Lcf by Paulson, L. C., van Rijsber... ISBN: 9780521395601 List Price: $61.00
$59.86 (Save 1%)